init{-}p(${\it es}$; $i$; $T$; $x$; $v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}vartype(${\it es}$; $i$; $x$) $\subseteq\rho$ $T$ \& es{-}initially(${\it es}$;$i$;$x$) $=$ $v$ $\in$ $T$